161,458 research outputs found
Model-checking branching-time properties of probabilistic automata and probabilistic one-counter automata
This paper studies the problem of model-checking of probabilistic automaton
and probabilistic one-counter automata against probabilistic branching-time
temporal logics (PCTL and PCTL). We show that it is undecidable for these
problems.
We first show, by reducing to emptiness problem of probabilistic automata,
that the model-checking of probabilistic finite automata against branching-time
temporal logics are undecidable. And then, for each probabilistic automata, by
constructing a probabilistic one-counter automaton with the same behavior as
questioned probabilistic automata the undecidability of model-checking problems
against branching-time temporal logics are derived, herein.Comment: Comments are welcom
Concrete: Potential material for Space Station
To build a permanent orbiting space station in the next decade is NASA's most challenging and exciting undertaking. The space station will serve as a center for a vast number of scientific products. As a potential material for the space station, reinforced concrete was studied, which has many material and structural merits for the proposed space station. Its cost-effectiveness depends on the availability of lunar materials. With such materials, only 1 percent or less of the mass of a concrete space structure would have to be transported from earth
Andreev Edge State on Semi-Infinite Triangular Lattice: Detecting the Pairing Symmetry in Na_0.35CoO_2.yH_2O
We study the Andreev edge state on the semi-infinite triangular lattice with
different pairing symmetries and boundary topologies. We find a rich phase
diagram of zero energy Andreev edge states that is a unique fingerprint of each
of the possible pairing symmetries. We propose to pin down the pairing symmetry
in recently discovered Na_xCoO_2 material by the Fourier-transformed scanning
tunneling spectroscopy for the edge state. A surprisingly rich phase diagram is
found and explained by a general gauge argument and mapping to 1D tight-binding
model. Extensions of this work are discussed at the end.Comment: 4 pages, 1 table, 4 figure
Media fusion and future TV: Examining multi-screen TV convergence in Singapore
This study examines Singapore's national media blueprint and industry stakeholders' coping strategies in response to multi-screen TV development. The findings show Singapore muti-screen TV development is still at a nascent stage after launching Media Fushion and FutureTV plans in mid 2009. The policymakers play a key role to follow national media blueprint to unify the inter-industry and cross-country collaboration. TV operators and telcos are found to remediate themselves by harnessing the power of internet and mobile technologies for content innovation and distribution. To tackle the complicated convergent issues in multi-screen TV industry, this study proposes to separately regulate the technology-neutral platforms and diverse audiovisual content. It also recommends a pro-innovative policy with the light-touch licensing scheme and loose content regulation to facilitate the development of the next TV. --three-screen TV,multi-screen TV,convergence,media fusion,IPTV,mobile TV,cross-platform,TV technologies,TV market,TV policy
Asymptotic Normality of Extreme Value Estimators on C[0,1]
Consider n i.i.d. random elements on C[0; 1].We show that under an appropriate strengthening of the domain of attraction condition natural estimators of the extreme-value index, which is now a continuous function, and the normalizing functions have a Gaussian process as limiting distribution.A key tool is the weak convergence of a weighted tail empirical process, which makes it possible to obtain the results uniformly on [0; 1].Detailed examples are also presented.estimation;infinite dimensional systems;convergence;statistics
- …